• Home
• Categories
• Object Technology

Object Technology

EMF Profiles: A Lightweight Extension Approach for EMF Models

Computer Software / Object Technology

Download

‘Design by Contract’ + ‘Componentware’ = ‘Design by Signed Contract’

Software Development / Computer Software / Object Technology / Formal Verification / Software Systems / Boolean Satisfiability / Design-by-Contract / Boolean Satisfiability / Design-by-Contract

Download

SECG: The SCOOP-to-Eiffel Code Generator

Computer Software / Object Technology / Code Generation

Download